<body> 
Contains the type system and all related classes.  This includes the
definitions of {@link polyglot.types.Type Type} as well as all the
concrete classes for it (e.g., for classes and primitives ).  It includes
the {@link polyglot.types.TypeSystem TypeSystem} interface.
All type objects, including {@link polyglot.types.Type Type} but also objects
representing variables, methods, constructors, etc., implement the {@link
polyglot.types.TypeObject TypeObject} interface.

@see polyglot.types.TypeSystem
@see polyglot.types.Type
@see polyglot.types.TypeObject
</body> 
